8.7 整数は足し算に関して可換な順序群